Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Probability and statistics
• Probability theory
• Artificial intelligence
• Machine learning
• Computational statistics
• Graphical models
• Computational linguistics
• Natural language processing
• Conditional random field
• Probabilistic programming language
• Inference
• Support vector machine

October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002

Source URL: www.epic.org

• Law
• Privacy
• Data security
• Terms of service
• Data protection
• Digital rights
• Human rights
• Internet privacy
• Electronic Privacy Information Center
• Information privacy
• Consumer privacy
• General Data Protection Regulation

Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT

Source URL: gdac.uqam.ca

• Software
• Computing
• Digital media
• Internet search engines
• Geosocial networking
• Geographic information systems
• Recommender system
• Yelp
• Local search
• Geocoding
• Personal
• Inc.
• Database

October 12, 2018 VIA UPS and Electronic Mail Mr. J. Christopher Prue, R.Ph. MBA Vice President, Product Regulatory Science Fontem U.S. IncSouth Tyron Street, Suite 350

Source URL: www.fda.gov

• Food and Drug Administration
• Health
• Federal Food
• Drug
• and Cosmetic Act
• Center for Tobacco Products
• Regulation of tobacco by the U.S. Food and Drug Administration
• Investigator's brochure

Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p

Source URL: www.ieee-security.org

A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.

Source URL: www.neven.org

• Cryptography
• Digital signature
• Random oracle
• IP
• Ibi
• Schnorr signature

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Source URL: www.prismmodelchecker.org

• Mathematics
• Mathematical analysis
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Symbol
• Constructible universe
• Linear temporal logic
• Craig interpolation

Giving to COS Please complete this form, and send it along with your contribution to: Center for Open Science, 210 Ridge McIntire Road, Suite, 500, Charlottesville VA, Yes, I want to join the Center for Open S

Source URL: cos.io

• Email
• Charlottesville
• Virginia
• The Gift
• Center for Open Science
• Human behavior
• Geography of the United States
• Publishing

Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Source URL: precision.moscito.org

• Sorting algorithms
• Order theory
• Mathematics
• Combinatorics
• Quicksort
• Shellsort
• Insertion sort
• Merge sort
• Adaptive sort
• Factorial
• Time complexity
• Heapsort

PRESS RELEASE Zurich, Best of both worlds in health science Advancience and healthbank The data science company, started as a spin-off project of Basel University, together with the GDPR compliant health data p

Source URL: www.healthbank.coop

• Identity management
• Data security
• Law
• Information governance
• Terms of service
• Privacy
• Profiling
• Internet privacy
• Information privacy
• Medical privacy